Autonomous Ticking Clocks from Axiomatic Principles

نویسندگان

چکیده

There are many different types of time keeping devices. We use the phrase ticking clock to describe those which -- simply put "tick" at approximately regular intervals. Various important results have been derived for clocks, and more in pipeline. It is thus understand underlying models on these founded. The aim this paper introduce a new model from axiomatic principles that overcomes concerns community about physicality assumptions made previous models. [arXiv:1806.00491] achieves high accuracy, yet lacks autonomy less accurate [10.1103/PhysRevX.7.031022]. Importantly, we here best both models: it retains [10.1103/PhysRevX.7.031022] while allowing accuracies [arXiv:1806.00491]. What more, revealed be special case model.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Circadian Biology: Fibroblast Clocks Keep Ticking

Real-time cellular imaging of gene expression has revealed that fibroblasts contain a robust, self-sustained and cell-autonomous circadian oscillator, with a range of properties that both overlap and contrast with those of the neural clock of the suprachiasmatic nuclei.

متن کامل

Ticking time bombs: connections between circadian clocks and cancer

Connections between mammalian circadian and cell division cycles have been postulated since the early 20th century, and epidemiological and genetic studies have linked disruption of circadian clock function to increased risk of several types of cancer. In the past decade, it has become clear that circadian clock components influence cell growth and transformation in a cell-autonomous manner. Fu...

متن کامل

Design principles underlying circadian clocks.

A fundamental problem for regulatory networks is to understand the relation between form and function: to uncover the underlying design principles of the network. Circadian clocks present a particularly interesting instance, as recent work has shown that they have complex structures involving multiple interconnected feedback loops with both positive and negative feedback. While several authors ...

متن کامل

The Clocks Are Ticking: No More Delays! Reduction Semantics for Type Theory with Guarded Recursion

Guarded recursion in the sense of Nakano allows general recursive types and terms to be added to type theory without breaking consistency. Recent work has demonstrated applications of guarded recursion such as programming with codata, reasoning about coinductive types, as well as constructing and reasoning about denotational models of general recursive types. Guarded recursion can also be used ...

متن کامل

Applications of axiomatic design principles: A literature review

Although there have been quite a number of theoretical and practical studies where axiomatic design (AD) principles have been used in the last few years, there is a lack of a comprehensive literature survey which evaluates and classifies these papers. This study provides a recognizable overview of literature on AD principles from the past 20 years and introduces a novel classification scheme co...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Quantum

سال: 2021

ISSN: ['2521-327X']

DOI: https://doi.org/10.22331/q-2021-01-17-381